Managing Change in Graph-Structured Data Using Description Logics

Managing Change in Graph-structured Data Using Description Logics (long version with appendix)

In this paper, we consider the setting of graph-structured data that evolves as a result of operations carried out by users or applications. We study different reasoning problems, which range from ensuring the satisfaction of a given set of integrity constraints after a given sequence of updates, to deciding the (non-)existence of a sequence of actions that would take the data to an (un)desirab...

Planning Problems for Graph Structured Data in Description Logics

Motivation The complex structure and increasing size of information that has to be managed in today’s applications calls for flexible mechanisms for storing such information, making it easily and efficiently accessible, and facilitating its change and evolution over time. The paradigm of graph structured data (GSD) [5] has gained popularity recently as an alternative to traditional relational d...

Planning and Change in Graph Structured Data under Description Logics Constraints

Using Description Logics for Managing Medical Terminologies

Medical terminological knowledge bases play an increasingly important role in medicine. As their size and complexity are growing, the need arises for a means to verify and maintain the consistency and correctness of their contents. This is important for their management as well as for providing their users with confidence about the validity of their contents. In this paper we describe a method ...

Description Logics in Data Management

Description logics and reasoners, which are descendants of the kl-one language, have been studied in depth in Arti cial Intelligence. After a brief introduction, we survey in this paper their application to the problems of information management, using the framework of an abstract information server equipped with several operations | each involving one or more languages. Speci cally, we indicat...